diff --git a/src/misc/misc_time.h b/src/misc/misc_time.h
index d35b2e326..b866ab650 100644
--- a/src/misc/misc_time.h
+++ b/src/misc/misc_time.h
@@ -9,4 +9,14 @@
 char * datestring(void);
 double seconds(void);
 
+#ifndef HAVE_GETRUSAGE
+#ifndef HAVE_TIMES
+#ifdef HAVE_FTIME
+
+void timediff(struct timeb *, struct timeb *, int *, int *);
+
+#endif
+#endif
+#endif
+
 #endif