That doesn’t work either. I decided to use uTorrent to do it. Now that uTorrent has finished downloading it, I am currently extracting it without any problems now. We’ll see if it works.