Tweak the MutexLock implementation slightly, so as to confuse Coverity less.