BUG: compilation fix for OpenMP.