clean up boost::mutex