--- src/do/make_checkpoint.h.orig	2008-03-31 15:37:21.000000000 +0200
+++ src/do/make_checkpoint.h	2008-03-31 15:37:46.000000000 +0200
@@ -27,6 +27,8 @@
 #ifndef _make_checkpoint_h
 #define _make_checkpoint_h
 
+#include<climits>
+
 #include <eoScalarFitness.h>
 #include <utils/selectors.h> // for minimizing_fitness()
 #include <EO.h>
