Remove old mutex patch