Arquivo RTC.h para sketch com RTC DS3231

Alguém pode me ajudar encontrar e instalar o arquivo
RTC.h.
Preciso dele para um sketch do esp32 com o RTC DS3231.
Muito Obrigado