Index: uspace/lib/libc/arch/arm32/include/fibril.h
===================================================================
--- uspace/lib/libc/arch/arm32/include/fibril.h	(revision b006bfb81e6f93c2a9beb8e933ab2c414132d06f)
+++ uspace/lib/libc/arch/arm32/include/fibril.h	(revision 12a56fa32dc51d54f00a93e18292ff9da1b89bed)
@@ -37,5 +37,5 @@
 #define LIBC_arm32_FIBRIL_H_
 
-#include <types.h>
+#include <sys/types.h>
 #include <align.h>
 #include "thread.h"
Index: uspace/lib/libc/arch/arm32/include/types.h
===================================================================
--- uspace/lib/libc/arch/arm32/include/types.h	(revision b006bfb81e6f93c2a9beb8e933ab2c414132d06f)
+++ uspace/lib/libc/arch/arm32/include/types.h	(revision 12a56fa32dc51d54f00a93e18292ff9da1b89bed)
@@ -38,7 +38,4 @@
 
 typedef unsigned int sysarg_t;
-typedef unsigned int size_t;
-typedef signed int ssize_t;
-typedef ssize_t off_t;
 
 typedef char int8_t;