some config options moved from Generator to Configuration