Re: [GHC] #8102: Parallel build of HEAD consistently fails