diff --git a/src/data/ibex_Cov.cpp b/src/data/ibex_Cov.cpp
index 1778bddc1..19d481cd1 100644
--- a/src/data/ibex_Cov.cpp
+++ b/src/data/ibex_Cov.cpp
@@ -13,6 +13,7 @@
 #include <sstream>
 #include <cassert>
 #include <string.h>
+#include <cstdint>
 
 using namespace std;
 
diff --git a/src/data/ibex_Cov.h b/src/data/ibex_Cov.h
index 639d077f8..90bcf94d2 100644
--- a/src/data/ibex_Cov.h
+++ b/src/data/ibex_Cov.h
@@ -17,6 +17,7 @@
 #include <vector>
 #include <fstream>
 #include <stack>
+#include <cstdint>
 
 namespace ibex {