I often see problems with zip files from archive.org , and this file is no exception. At a guess, someone at archive.org is using an odd version that I can't always deal with.I'm on ubuntu linux, using:UnZip 5.52 of 28 February 2005