Jouni Kosonen - 2017-10-20

Same on Linux. It looks like the name of the mutex is missing from the non-omp branch.