Re: [GHC] #10172: Cross-platform sed