diff --git a/include/stdint.h b/include/stdint.h
new file mode 100644
index 0000000..60579d3
--- /dev/null
+++ b/include/stdint.h
@@ -0,0 +1,2 @@
+/* We rely on GCC's default version. */
+#include "stdint-gcc.h"