fix DownloadZip.php: zip_file_name