Add clock_gettime()-based clock implementation.