[GHC] #9419: Machine-readable output for profiling