mutex is also apparently slower on OSX than Linux