Fix Windows build

5 jobs for develop in 23 minutes and 46 seconds (queued for 5 minutes and 54 seconds)
latest