Avoid double-gzip (fixes #534)