Always use PTHREAD_MUTEX_ERRORCHECK to create mutexes when -DDEBUG