Prefer boost::mutex to std::mutex as they are not implemented in MinGW

* We are in 2014 and it is C++11, sigh.
* Also fixes a mismatch.