don't die if clock_gettime can't be found