Re: [GHC] #3977: Support double-byte encodings (Chinese/Japanese/Korean) on Windows