I don't have a better solution at the moment, but it would be better if OpenMP were somehow enabled if the compiler supported OpenMP, as for example when using `--cc=gcc-4.8`.