Make tap2sna.py handle large zip archives sensibly