Switch to /usr/bin/time