[PATCH 13/13] No need to look for clock_gettime in libc