Switched back from std::thread to boost::thread.