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.
Merge pull request #194 from eregon/boost_mutex

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