Use original time command instead of `/usr/bin/time`