Re: [GHC] #12714: T9405 fails on Windows