diff --git a/sshbn.h.orig b/sshbn.h
index a043241..f2a3217 100644
--- a/sshbn.h.orig
+++ b/sshbn.h
@@ -26,7 +26,8 @@
  * using the same 'two machine registers' kind of code generation that
  * 32-bit targets use for 64-bit ints. If we have one of these, we can
  * use a 64-bit BignumInt and a 128-bit BignumDblInt. */
-typedef __uint64_t BignumInt;
+#include <stdint.h>
+typedef uint64_t BignumInt;
 typedef __uint128_t BignumDblInt;
 #define BIGNUM_INT_MASK  0xFFFFFFFFFFFFFFFFULL
 #define BIGNUM_TOP_BIT   0x8000000000000000ULL