Replaced boost::thread by std::thread