Fix windows build broken by D3080 (0d86aa5904e5a06c93632357122e57e4e118fd2a)
Fix windows build broken by D3080 (0d86aa5904e5a06c93632357122e57e4e118fd2a)

shlevy/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,shlevy/ghc,sdiehl/ghc,ezyang/ghc,shlevy/ghc,shlevy/ghc,sdiehl/ghc,ezyang/ghc,ezyang/ghc,shlevy/ghc,ezyang/ghc,sdiehl/ghc,sdiehl/ghc,ezyang/ghc,ezyang/ghc,ezyang/ghc,shlevy/ghc,shlevy/ghc