gcc-4.7: #include <mutex>