We are moving to std::mutex everywhere, so replace SimpleMutex with the transition name, stdx::mutex.