I figured it out. I tried to use winzip to unzip gzip on Windows. Tried 7-zip instead, and everything installed fine.