GNU implementation of time(1)
