We're using timed condition variable in one place, but the STL version pulls in a lot of code because it does clock calculations in "long double" (!!!!). Since we already had an implementation of condition_variable, we just add the timed version. This saves several KiB of code. Also don't use unique_lock() lock/unlock because it can throw exceptions.