fix openmp woes on linux