fix zip.py