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