Finally, fix the autoconf setup to allow for a missing clock_gettime;