gnu-time 1.7: Add option --with-default-names