When checking something else, I noticed that there was one warning in 
openmp.cc that did not use OPT_Wopenmp.

I intent to commit the attached patch later today as obvious.

Tobias