Use the Real-time clock on the nRF52840 dongle with pc_ble_driver

I am trying to use the real time clock on the nRF52840 dongle using the pc-ble-driver. However, my nrf.h file has nothing in it but the following:

#ifndef NRF_H__
#define NRF_H__

/* Empty file for SDK compatibility */

#endif // NRF_H__

I assume that is the reason that none of the rtc driver methods, such as nrfx_rtc_cc_disable() are defined.

How do I access the RTC when using the pc-ble-driver library?