ijksdl: add SDL_DestroyMutexP