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 bcf23cf205b620d11eb8a20690ab257c14d92af0)
@@ -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 bcf23cf205b620d11eb8a20690ab257c14d92af0)
@@ -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;