Silence warning about unhandled clock_gettime() during diversions.

#1233