--- /usr/include/machine/_default_types.h	2014-02-13 17:30:46.134973100 +0100
+++ /usr/include/machine/_default_types.h	2014-02-13 17:29:34.354182500 +0100
@@ -23,7 +23,7 @@
 extern "C" {
 #endif
 
-#ifdef __INT8_TYPE__
+#if defined(__INT8_TYPE__) && defined(__UINT8_TYPE__)
 typedef __INT8_TYPE__ __int8_t;
 typedef __UINT8_TYPE__ __uint8_t;
 #define ___int8_t_defined 1
@@ -33,7 +33,7 @@
 #define ___int8_t_defined 1
 #endif
 
-#ifdef __INT16_TYPE__)
+#if defined(__INT16_TYPE__) && defined(__UINT16_TYPE__)
 typedef __INT16_TYPE__ __int16_t;
 typedef __UINT16_TYPE__ __uint16_t;
 #define ___int16_t_defined 1
@@ -51,7 +51,7 @@
 #define ___int16_t_defined 1
 #endif
 
-#ifdef __INT32_TYPE__
+#if defined(__INT32_TYPE__) && defined(__UINT32_TYPE__)
 typedef __INT32_TYPE__ __int32_t;
 typedef __UINT32_TYPE__ __uint32_t;
 #define ___int32_t_defined 1
@@ -73,7 +73,7 @@
 #define ___int32_t_defined 1
 #endif
 
-#ifdef __INT64_TYPE__
+#if defined(__INT64_TYPE__) && defined(__UINT64_TYPE__)
 typedef __INT64_TYPE__ __int64_t;
 typedef __UINT64_TYPE__ __uint64_t;
 #define ___int64_t_defined 1