Make unit tests succeed with -DDEBUG_LOCKORDER