Re: [GHC] #8056: Make Install fails on HEAD