Use boost::mutex with mingw