Add sys/time.h include to rtclock.c