It's because the .zip file is actually a RAR Archive and not a ZIP Archive. Luckily 7-zip can handle both and can extract it even the filename extension is wrong.
