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.
