02.17.14 better openmp header