was zipping 64 bit exe as 32