maude.ini changes