there is now an EmptyConfiguration class that is necessary so configuration settings are not overwritten in the FaunusCompiler.