Setup: Updated mutex name