fix OpenMP detection on Mac OS broken by a6fee0b