replace boost::mutex by std::mutex