[GHC] #12262: Binary output is not deterministic