replaced all usages of boost::thread by their C++ 11 equivalents