Now that all uses of PThreadMutex have been migrated to their C++ equivalent, this PR removes PThreadMutex itself.