That's strange, there should not be a virus but I'll double check and get back to you!
Okay, I scanned the files with Microsoft Defender multiple times and it showed nothing so I do think it is clean and just a false positive. If you want to you could re scan it using your own software.
