Index: uspace/lib/c/include/stdint.h
===================================================================
--- uspace/lib/c/include/stdint.h	(revision b69786ea48147d53f94db94d13ac0d9122c0fb09)
+++ uspace/lib/c/include/stdint.h	(revision bea710f19a6538b895bdc9a355fa66cc74085d13)
@@ -60,5 +60,5 @@
 #define UINT64_MAX  UINT64_C(0xFFFFFFFFFFFFFFFF)
 
-#include <libarch/types.h>
+#include <libarch/stdint.h>
 
 /* off64_t */