fix gzip.py