Use boost::mutex instead of std::mutex since g++ complains about it

* For some weird reason, some stdlibc++ does not define std::mutex
  in C++11 mode.