Index: configure
===================================================================
--- configure	(revision 6469)
+++ configure	(working copy)
@@ -1059,7 +1059,10 @@
 cat > $TMPC <<EOF
 #include <signal.h>
 #include <time.h>
-int main(void) { clockid_t id; return clock_gettime(id, NULL); }
+int main(void) { clockid_t id; timer_t tid;
+	return clock_gettime(id, NULL) + timer_delete(tid); 
+}
+
 EOF
 
 rt=no