The previous 7z file unzips with 7zip program ok.
Attached is a .zip version, made with 7zip, with the zip option.
- Brian