To avoid issues and conflicts between the ds3231 and the Time and TimeAlarms libaries, I would recommend tht you use the Jack Christensen library for the ds3232 and ds3231. It is rock solid, and can be found at GitHub - JChristensen/DS3232RTC: Arduino Library for Maxim Integrated DS3232 and DS3231 Real-Time Clocks
It is designed to work in conjunction with the Time and Time Alarms libraries and is also a drop in replacement for the very common DS1307 library. The effort it will take you to learn some new syntax will quickly pay off.