Installer freezes in windows-2022 GitHub Action

[Michele Locati]

> I have had the following failure 2 out of 4 times (see [1]):
>
> Program 'setup.exe' failed to run: The specified executable is not a
> valid application for this OS platform.

The problem no longer occurs.
I think it was probably an issue caused by a malformed executable in a
mirror/CDN (which would explain why it worked sometimes and sometimes
not).

--
Michele