The Windows CI configuration has been tweaked.