Fix windows build broken by D3080 (0d86aa5904e5a06c93632357122e57e4e118fd2a)