--- linux-user/syscall.c.orig	2017-04-25 23:46:47.896819860 +0200
+++ linux-user/syscall.c	2017-04-26 08:43:48.821452132 +0200
@@ -34,6 +34,7 @@
 #include <sys/resource.h>
 #include <sys/swap.h>
 #include <linux/capability.h>
+#include <linux/sockios.h>
 #include <sched.h>
 #include <sys/timex.h>
 #ifdef __ia64__