mozart/mozart2 — pull request #194 by eregon (2014-06-14 11:51:22+00:00)
Title: 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.