Use boost::thread instead of std::thread