diff --git a/sys/arch/arm/include/int_types.h b/sys/arch/arm/include/int_types.h
index f32c0d853..30b9c0479 100644
--- a/sys/arch/arm/include/int_types.h
+++ b/sys/arch/arm/include/int_types.h
@@ -58,7 +58,9 @@ typedef	long long int		__int64_t;
 typedef	unsigned long long int __uint64_t;
 #endif
 
+#if !defined(__minix)
 #define	__BIT_TYPES_DEFINED__
+#endif /* !defined(__minix) */
 
 /* 7.18.1.4 Integer types capable of holding object pointers */
 
diff --git a/sys/arch/i386/include/int_types.h b/sys/arch/i386/include/int_types.h
index db4114176..100138f8a 100644
--- a/sys/arch/i386/include/int_types.h
+++ b/sys/arch/i386/include/int_types.h
@@ -58,7 +58,9 @@ typedef	long long int		__int64_t;
 typedef	unsigned long long int __uint64_t;
 #endif
 
+#if !defined(__minix)
 #define	__BIT_TYPES_DEFINED__
+#endif /* !defined(__minix) */
 
 /* 7.18.1.4 Integer types capable of holding object pointers */