make mingw happy: std::mutex -> boost::mutex