Whoops, "time" is a Bash built-in, not a command