Index: uspace/lib/c/include/inet/dhcp.h
===================================================================
--- uspace/lib/c/include/inet/dhcp.h	(revision a62ceaf039a5a22dc93ec3e4767e997f0730bbbe)
+++ uspace/lib/c/include/inet/dhcp.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -36,5 +36,4 @@
 #define LIBC_INET_DHCP_H_
 
-#include <sys/types.h>
 
 extern int dhcp_init(void);
Index: uspace/lib/c/include/inet/inet.h
===================================================================
--- uspace/lib/c/include/inet/inet.h	(revision a62ceaf039a5a22dc93ec3e4767e997f0730bbbe)
+++ uspace/lib/c/include/inet/inet.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -38,5 +38,5 @@
 #include <inet/addr.h>
 #include <ipc/loc.h>
-#include <sys/types.h>
+#include <stdint.h>
 #include <types/inet.h>
 
Index: uspace/lib/c/include/inet/inetcfg.h
===================================================================
--- uspace/lib/c/include/inet/inetcfg.h	(revision a62ceaf039a5a22dc93ec3e4767e997f0730bbbe)
+++ uspace/lib/c/include/inet/inetcfg.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -37,5 +37,5 @@
 
 #include <inet/inet.h>
-#include <sys/types.h>
+#include <stddef.h>
 #include <types/inetcfg.h>
 
Index: uspace/lib/c/include/inet/inetping.h
===================================================================
--- uspace/lib/c/include/inet/inetping.h	(revision a62ceaf039a5a22dc93ec3e4767e997f0730bbbe)
+++ uspace/lib/c/include/inet/inetping.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
@@ -37,5 +37,4 @@
 
 #include <inet/inet.h>
-#include <sys/types.h>
 #include <types/inetping.h>