make sure we have 7zip in compact.bat