--- ode-0.16/include/ode/odeconfig.h.old	2018-12-09 20:04:03.000000000 +0000
+++ ode-0.16/include/ode/odeconfig.h	2020-01-12 08:36:16.664428956 +0000
@@ -32,6 +32,7 @@
 #include <math.h>
 #include <string.h>
 #include <float.h>
+#include <stdint.h>
 
 
 #include <ode/precision.h>
@@ -128,20 +129,20 @@
   typedef __int64         dint64;
   typedef unsigned __int64 duint64;
 #else
-  typedef long long       dint64;
-  typedef unsigned long long duint64;
+  typedef int64_t         dint64;
+  typedef uint64_t        duint64;
 #endif
-  typedef int             dint32;
-  typedef unsigned int    duint32;
-  typedef short           dint16;
-  typedef unsigned short  duint16;
-  typedef signed char     dint8;
-  typedef unsigned char   duint8;
-
-  typedef dint32          dintptr;
-  typedef duint32         duintptr;
-  typedef dint32          ddiffint;
-  typedef duint32         dsizeint;
+  typedef int32_t         dint32;
+  typedef uint32_t        duint32;
+  typedef int16_t         dint16;
+  typedef uint16_t        duint16;
+  typedef int8_t          dint8;
+  typedef uint8_t         duint8;
+
+  typedef intptr_t        dintptr;
+  typedef uintptr_t       duintptr;
+  typedef ptrdiff_t       ddiffint;
+  typedef size_t          dsizeint;
 
 #endif