This looks a tiny little bit dependent on there being `/usr/bin/time`. Probably not too much to worry about?