Re: [GHC] #7978: Profiling broken