Fix CI jobs that broke as a result of windows-latest being upgraded to Windows Server 2022#917