fix compilation with openmp