(This file public domain.) unzip552.tar.gz, and the unzip.exe we distribute, came from http://www.info-zip.org/UnZip.html.