Where do SDLMAME and SDLMESS go?