Windows Defender thinks paket 5.151.3 is a trojan #3121

Description

I started having issues fetching paket.exe through paket.bootstrapper.exe.
When the bootstrapper tries to fetch paket.exe, windows defender removes the file, and claims that the file contains the trojan "Win32/Critet.BS".

Repro steps

Please provide the steps required to reproduce the problem

1. Step A
   Run bootstrapper on a machine with Windows Defender.

If possible then please create a git repository with a repro sample or attach a zip to the issue.

Expected behavior

No virus alert - paket.exe is downloaded.

Actual behavior

Virus alert - paket.exe is deleted

Known workarounds

Run paket.bootstrapper.exe 5.151.2