Re: [GHC] #8676: RTS headers don't compile as C++