Re: [GHC] #5666: Can't use writeFile to write unicode characters.