Correctly prints the timings even when boost timings is not used