Use openblas_set_num_threads(n) from util.jl