Index: uspace/lib/libc/arch/ia32/include/fibril.h
===================================================================
--- uspace/lib/libc/arch/ia32/include/fibril.h	(revision bc1f1c27820ae147ea90ebc58ae2f9a5e0b343ca)
+++ uspace/lib/libc/arch/ia32/include/fibril.h	(revision bcf23cf205b620d11eb8a20690ab257c14d92af0)
@@ -36,5 +36,5 @@
 #define LIBC_ia32_FIBRIL_H_
 
-#include <types.h>
+#include <sys/types.h>
 
 /* According to ABI the stack MUST be aligned on 
Index: uspace/lib/libc/arch/ia32/include/stackarg.h
===================================================================
--- uspace/lib/libc/arch/ia32/include/stackarg.h	(revision bc1f1c27820ae147ea90ebc58ae2f9a5e0b343ca)
+++ uspace/lib/libc/arch/ia32/include/stackarg.h	(revision bcf23cf205b620d11eb8a20690ab257c14d92af0)
@@ -41,5 +41,5 @@
 #define LIBC_ia32_STACKARG_H_
 
-#include <types.h>
+#include <sys/types.h>
 
 /* dont allow to define it second time in stdarg.h */
Index: uspace/lib/libc/arch/ia32/include/types.h
===================================================================
--- uspace/lib/libc/arch/ia32/include/types.h	(revision bc1f1c27820ae147ea90ebc58ae2f9a5e0b343ca)
+++ uspace/lib/libc/arch/ia32/include/types.h	(revision bcf23cf205b620d11eb8a20690ab257c14d92af0)
@@ -37,7 +37,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;