Use std::thread/std::mutex in the server
Replace boost::mutex by std::mutex