zipdir.py: refined.