old zip files should be renamed to zip

17 jobs for 712-source-file-name-invalid-for-zip in 9 minutes and 38 seconds (queued for 1 second)