Re: [GHC] #15953: GHC always dumps the output of -ddump-hpc to STDOUT