Also never destroys global mutex, otherwise we get a race condition
(which is pretty contradictory to the point for mutexes)