Re: [GHC] #12213: In Python testsuite, setting stdout to unbuffered causes us to switch to ascii output locale