RE: [commit: ghc] master: Actually add the right file for T13035 stderr (54227a4)