whoops, make openmp happy