MAUDE_LIB=/usr/share/maude