[Solved]DS3232RTC.h library running on mbed architecture(s)-compile errors

Hello,
I am trying to use a DS3231 as an external interrupt to wake up Nano 33 BLE from a deep sleep every day. I found this project example online. Unfortunately, DS3232RTC library failed to compile on mbed architecture(s), even I tried its rtcTimeTemp example which is a simple example sketch that should work on any architecture. The compile errors are shown as follows.

WARNING: library DS3232RTC claims to run on avr architecture(s) and may be incompatible with your current board which runs on mbed architecture(s).
In file included from c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\chrono:41:0,
from C:\Users\xxx\AppData\Local\Arduino15\packages\arduino\hardware\mbed\1.3.0\cores\arduino/mbed/rtos/Kernel.h:27,
from C:\Users\xxx\AppData\Local\Arduino15\packages\arduino\hardware\mbed\1.3.0\cores\arduino/mbed/rtos/Mutex.h:30,
from C:\Users\xxx\AppData\Local\Arduino15\packages\arduino\hardware\mbed\1.3.0\cores\arduino/mbed/platform/PlatformMutex.h:42,
from C:\Users\xxx\AppData\Local\Arduino15\packages\arduino\hardware\mbed\1.3.0\cores\arduino/mbed/drivers/AnalogIn.h:26,
from C:\Users\xxx\AppData\Local\Arduino15\packages\arduino\hardware\mbed\1.3.0\cores\arduino/Arduino.h:40,
from sketch\rtcTimeTemp.ino.cpp:1:
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:64:11: error: '::clock' has not been declared
using ::clock;
^~~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:65:11: error: '::difftime' has not been declared
using ::difftime;
^~~~~~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:66:11: error: '::mktime' has not been declared
using ::mktime;
^~~~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:67:11: error: '::time' has not been declared
using ::time;
^~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:68:11: error: '::asctime' has not been declared
using ::asctime;
^~~~~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:69:11: error: '::ctime' has not been declared
using ::ctime;
^~~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:70:11: error: '::gmtime' has not been declared
using ::gmtime;
^~~~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:71:11: error: '::localtime' has not been declared
using ::localtime;
^~~~~~~~~
c:\users\xxx\appdata\local\arduino15\packages\arduino\tools\arm-none-eabi-gcc\7-2017q4\arm-none-eabi\include\c++\7.2.1\ctime:72:11: error: '::strftime' has not been declared
using ::strftime;
^~~~~~~~
exit status 1
Error compiling for board Arduino Nano 33 BLE.

Did anyone successfully apply this library for mbed architectures before? How does it work?
Thank you very much.

I have changed the DS3231RTC library to RTClib. It works now.