Corrected make_exe_zip.bat.