Use boost::thread instead of std::thread for mingw compatibility