Index: uspace/lib/libc/include/io/io.h
===================================================================
--- uspace/lib/libc/include/io/io.h	(revision 00acd66d3981789b3f8b04cdd854d29343dd9aa0)
+++ uspace/lib/libc/include/io/io.h	(revision b878df35b26c3ffd9e0cba6d2ed11dbf7ba0d58b)
@@ -36,5 +36,5 @@
 #define LIBC_IO_H_
 
-#include <libarch/types.h>
+#include <sys/types.h>
 
 int putnchars(const char * buf, size_t count);
Index: uspace/lib/libc/include/io/printf_core.h
===================================================================
--- uspace/lib/libc/include/io/printf_core.h	(revision 00acd66d3981789b3f8b04cdd854d29343dd9aa0)
+++ uspace/lib/libc/include/io/printf_core.h	(revision b878df35b26c3ffd9e0cba6d2ed11dbf7ba0d58b)
@@ -36,5 +36,5 @@
 #define LIBC_PRINTF_CORE_H_
 
-#include <libarch/types.h>
+#include <sys/types.h>
 #include <stdarg.h>