Since we no longer build with Gcc <4.9, there is apparently, at least by the comment in stdx/mutex.h, no longer a reason to ban std::timed_mutex.

Is there any reason to retain stdx/mutex.h at all? Or should uses be changed back to <mutex> and std::mutex?