update-maude now has .php extension