Re: renaming sdlmame to mame