The file you download is ~837mb right? Can't you just add the extension manually so your archive manager can unzip it?
