info-zip's source code of unzip, with some minor tweaks