[cvs-nhc98] Adjust time profiling output format.