In case someone else has the issue: 7z is a file compression extension from a program called 7zip. You can download it for free to unzip the folder. Just google it, its actually a very handy free tool that I would also recommend installing anyway :)
