Add fake SDL_mutex.h file back