std::timed_mutex not supported in gcc 4.9