destructor of Mutex was missing a condition