fixed bug when openmp could not be found to switch off the option