Small changes in to_zip_file.py