Re: [GHC] #12019: Profiling option -hb is not thread safe