diff --git a/pico/pico_types.h b/pico/pico_types.h
index c1a7db8a..c5ea8098 100644
--- a/pico/pico_types.h
+++ b/pico/pico_types.h
@@ -3,6 +3,7 @@
 
 #include <stdint.h>
 
+#ifndef __TAMTYPES_H__
 #ifndef UTYPES_DEFINED
 typedef uint8_t        u8;
 typedef int8_t         s8;
@@ -11,6 +12,8 @@ typedef int16_t        s16;
 typedef uint32_t       u32;
 typedef int32_t        s32;
 #endif
+#endif
+
 typedef uintptr_t      uptr; /* unsigned pointer-sized int */
 
 #endif