The libray has been superseded by a newer version that is available as part of the download here: Arduino Playground - Time