set openmp off by default again