The Microsoft/AdaCore SAS signature on the installer is SHA1. Hopefully there is no problem in switching it up to the strongly recommended SHA256.