A Modified Library for using a DS3231 RTC with an Arduino