Update ex_gzip.py