I bet you're using GNU time rather than BSD time. It did seem odd to me that the author didn't bother to mention which OS he is using, though from the hostname

I bet you're using GNU time rather than BSD time. It did seem odd to me that the author didn't bother to mention which OS he is using, though from the hostname I have a pretty good guess.