Attempt to fix: #695: Bad perf counter time printed