Index: uspace/lib/c/arch/amd64/include/libarch/elf_linux.h
===================================================================
--- uspace/lib/c/arch/amd64/include/libarch/elf_linux.h	(revision 1a5eca452dd19104f8673b755943e0707abc00e4)
+++ uspace/lib/c/arch/amd64/include/libarch/elf_linux.h	(revision dde4689b360dc912d3781224af7dabdb0e89fbcb)
@@ -37,5 +37,5 @@
 
 #include <libarch/istate.h>
-#include <sys/types.h>
+#include <stdint.h>
 
 /** Linux kernel struct pt_regs structure.
Index: uspace/lib/c/arch/amd64/include/libarch/fibril_context.ag
===================================================================
--- uspace/lib/c/arch/amd64/include/libarch/fibril_context.ag	(revision 1a5eca452dd19104f8673b755943e0707abc00e4)
+++ uspace/lib/c/arch/amd64/include/libarch/fibril_context.ag	(revision dde4689b360dc912d3781224af7dabdb0e89fbcb)
@@ -31,6 +31,9 @@
         includes : [
                 {
-                        include : <sys/types.h>
-                }
+                        include : <stddef.h>
+                },
+                {
+                        include : <stdint.h>
+                },
         ],