Fix #47: incorrectly formatted nanosecond profiling times