Use std::thread instead of boost::thread