As I wrote in my original posting, the shield was set to ‘high’.

(Of course Avast detects it when you download it, which is why I select the option of allowing it when Avast asks. I download the file a few days ago, because I need to run various tests on Avast and my mailserver setup.)