Index: uspace/lib/c/arch/abs32le/src/stacktrace.c
===================================================================
--- uspace/lib/c/arch/abs32le/src/stacktrace.c	(revision 02082f32cd603472c3d7940abab98d4121cab8a9)
+++ uspace/lib/c/arch/abs32le/src/stacktrace.c	(revision 7ee7e6a46a8c5572893213586024c72f56b3db7f)
@@ -30,5 +30,5 @@
  */
 
-#include <sys/types.h>
+#include <stdint.h>
 #include <stdbool.h>
 #include <stddef.h>
Index: uspace/lib/c/arch/abs32le/src/syscall.c
===================================================================
--- uspace/lib/c/arch/abs32le/src/syscall.c	(revision 02082f32cd603472c3d7940abab98d4121cab8a9)
+++ uspace/lib/c/arch/abs32le/src/syscall.c	(revision 7ee7e6a46a8c5572893213586024c72f56b3db7f)
@@ -30,5 +30,4 @@
  */
 
-#include <sys/types.h>
 #include <libarch/syscall.h>
 
Index: uspace/lib/c/arch/abs32le/src/tls.c
===================================================================
--- uspace/lib/c/arch/abs32le/src/tls.c	(revision 02082f32cd603472c3d7940abab98d4121cab8a9)
+++ uspace/lib/c/arch/abs32le/src/tls.c	(revision 7ee7e6a46a8c5572893213586024c72f56b3db7f)
@@ -31,5 +31,6 @@
 
 #include <tls.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 
 tcb_t * tls_alloc_arch(void **data, size_t size)