[checkmk-commits] Tweak SharedMutex for C++14, will probably die soon anyway.