Ok, I was downloading a file from Texas Instruments, and after downloading I accidentally archived the file in WinZip, and I can't open the file now. I tried to fix this by downloading the file from the internet again and it downloaded the file but it read it as a winzip file even as I...