small change in makeZIP.bat