Sorry about that, I forgot that 7zip isn't the standard! I've updated the download instructions with a link to download 7zip so hopefully nobody else has the same problem in the future :)
That's good.
