fixed wrong config file and failing maude tests