tools/hack_openmp_for_pgi.sh