Hi,
there is definitively no virus there!
That's a typical false-positive detection. That happen often after new releases - the files are new and unknown and so some Anti-virus softwares tends to better report something than nothing...
Best regards,
Klaus