oops, add back openmp into setup.