--- guava3.5/src/leon/src/generate.c	2006-06-16 08:01:43.000000000 +0200
+++ guava3.5/src/leon/src/generate.c	2006-06-16 08:02:04.000000000 +0200
@@ -125,6 +125,10 @@
 #define CLK_TCK TICK
 #endif
 
+#ifndef CLK_TCK
+#define CLK_TCK CLOCKS_PER_SEC
+#endif
+
 #include "errmesg.h"
 #include "new.h"
 #include "readgrp.h"
--- guava3.5/src/leon/src/inform.c	2006-06-16 08:03:25.000000000 +0200
+++ guava3.5/src/leon/src/inform.c	2006-06-16 08:01:19.000000000 +0200
@@ -16,6 +16,10 @@
 #define CLK_TCK TICK
 #endif
 
+#ifndef CLK_TCK
+#define CLK_TCK CLOCKS_PER_SEC
+#endif
+
 #include "readgrp.h"
 
 CHECK( inform)