I was (kind of) aware that gzip was different from zip -- the request actually came from a third party, who has now said standard zipping (as opposed to gzipping) is fine.