made openmp threads configurable by batch-compiling to different binaries