diff --git a/include/integer.h b/include/integer.h
index 9f16a592d..c6983e544 100644
--- a/include/integer.h
+++ b/include/integer.h
@@ -17,6 +17,10 @@
 #include <stdint.h>
 #define SKIP_STDINT_WORKAROUND
 # endif
+# if defined(__GNUC__) && defined(__INT64_MAX__)
+#  include <stdint.h>
+#  define SKIP_STDINT_WORKAROUND
+# endif
 #endif
 
 #ifndef SKIP_STDINT_WORKAROUND /* !C99 */