Added check for 'time --format' and such, which Bash swallows.