travis-ci: more openmp tweaks