maude.ini change