I may be stupid, but it seems like the download file is a .rar instead of zip. Am I doing something wrong?