Fix: missing #include <omp.h> from merge of devel-openmp branch