gnu-time 1.7: Add option --with-default-names
gnu-time: add 1.7 bottle.