Re #6630. Trying to fix a bug on isis windoze build.