Add destructors for global mutexes