Re #8635. Hopefully fixing broken windoze build.