gnu time is sort of nice for more involved time profiling cuz it can spit out directly in csv format based on the format string etc