GNU implementation of time utility