Removed Boost.Random from tests
Call the post_try_lock_correction() from basic_timed_mutex