Do not use boost::thread and std::thread together