Re #10311. Forgot that openmp on windoze requires signed ints.