Mutex uses std::mutex

github issue #20