Get /usr/bin/time (#362)