diff --git a/include/tccdefs.h b/include/tccdefs.h
index ae0364eb..0f470bb2 100644
--- a/include/tccdefs.h
+++ b/include/tccdefs.h
@@ -122,6 +122,10 @@
     /* Linux */
 
 #endif
+    /* Some derived integer types needed to get stdint.h to compile correctly on some platforms */
+    #define __UINTPTR_TYPE__ unsigned __PTRDIFF_TYPE__
+    #define __INTPTR_TYPE__ __PTRDIFF_TYPE__
+    #define __INT32_TYPE__ int
 
 #if !defined _WIN32
     /* glibc defines */