I hate to say this, but it's a workaround.

libstdc++ seems to use high_resolution_clock for timed_mutex and nothing
else works. THIS SUCKS! Oh and when the time changes, thread_pool may
act strangely.