We now correctly call gzip under windows. The problem was pdftohtml was using
cygwin, so can use "/tmp" (cygwin re-maps this correctly) but was passing
the filename to gzip, which can't find "/tmp" on windows. We now use
$GSDLHOME/tmp on windows instead.