Re #10133. Trying to fix windoze build.