removed update-maude.hh