Update ds3231_device.nut