diff --git a/eo/src/eo b/eo/src/eo
index 9ce3f01c..325572d4 100644
--- a/eo/src/eo
+++ b/eo/src/eo
@@ -127,6 +127,8 @@
 
 // Utils
 #include <utils/checkpointing>
+#include <utils/eoRealVectorBounds.h> // includes eoRealBounds.h
+#include <utils/eoIntBounds.h>        // no eoIntVectorBounds
 
 // aliens
 #include <other/external_eo>