diff --git a/include/config.h b/include/config.h
index 29ff94b62..76c9da0fd 100644
--- a/include/config.h
+++ b/include/config.h
@@ -648,6 +648,7 @@ typedef unsigned char uchar;
 # endif
 #endif
 
+#include "integer.h"
 #include "global.h" /* Define everything else according to choices above */
 
 #endif /* CONFIG_H */
diff --git a/include/isaac64.h b/include/isaac64.h
index 6c9b45b52..4a650f1dd 100644
--- a/include/isaac64.h
+++ b/include/isaac64.h
@@ -1,7 +1,6 @@
 /* CC0 (Public domain) - see http://creativecommons.org/publicdomain/zero/1.0/ for details */
 #if !defined(_isaac64_H)
 # define _isaac64_H (1)
-# include <integer.h>