private static void ExtendConfiguration(Configuration c) { c.SetProperty("generate_statistics", "true"); }