False positive. You can ignore it.
I just ran a scan on VirusTotal, and only 1 out of 63 engines flagged the file as malicious. If it were really a virus, more than 1 would have detected it.
Feel free to check how many engines flagged the file on your scan too!