Use a regular mutex