Change to OpenMP, see if that works everywhere...