Where do you see a virus? I've scanned it with bitdefender and have had no issues
For the record, Virustotal has 2 out of 70 programs flag the file as malicious.
Nobody else has reported any viruses, which leads me to believe it's a false positive.
https://www.virustotal.com/gui/file/171225e5937cab502848e5cc0e598b9cd28ded62125c...