Comment by andreyv

Instead of "/usr/bin/time" you can also write "command time".