Unfortunately I don't know how, I had the safari setting for auto uncompressing zip files (bad idea), so what ended in my downloads folder was the uncompressed folder. The original zip file I guess was somehow in the temp safari files, but since then I restarted, so I can't see it anymore.
If...