diff --git a/src/helper/types.h b/src/helper/types.h
index 8ee41105f..813f6f25c 100644
--- a/src/helper/types.h
+++ b/src/helper/types.h
@@ -26,6 +26,9 @@
 #ifdef HAVE_SYS_TYPES_H
 #include <sys/types.h>
 #endif
+#ifdef HAVE_STDINT_H
+#include <stdint.h>
+#endif
 
 #ifndef u8
 typedef unsigned char u8;
diff --git a/src/jtag/rlink/rlink.c b/src/jtag/rlink/rlink.c
index 2993fc082..683a1545d 100644
--- a/src/jtag/rlink/rlink.c
+++ b/src/jtag/rlink/rlink.c
@@ -36,7 +36,6 @@
 
 /* system includes */
 #include <usb.h>
-#include <stdint.h>
 
 
 /* This feature is made useless by running the DTC all the time.  When automatic, the LED is on whenever the DTC is running.  Otherwise, USB messages are sent to turn it on and off. */