Remove deprecated Mutex alias to avoid naming conflicts.