[Git][ghc/ghc][wip/stable-ipe-info] IPE fix