Silence warning about unhandled clock_gettime() during diversions.