Most likely a mistake of Windows Defender. If you upload the file to virustotal, no other virus scanner detects it as a virus: https://www.virustotal.com/gui/file/dd9308225b8314bb7236f207e6ea72b22db5d90dba03...
I'll check how to contact Microsoft to figure that out.