--- a/VirtualBox-5.1.20/src/VBox/Runtime/r3/linux/sysfs.cpp     2017-01-17 08:27:48.000000000 +0100
+++ b/VirtualBox-5.1.20/src/VBox/Runtime/r3/linux/sysfs.cpp     2017-01-18 12:50:21.680120174 +0100
@@ -47,6 +47,8 @@
 #include <sys/stat.h>
 #include <sys/fcntl.h>
 #include <errno.h>
+#define __USE_EXTERN_INLINES
+#include <sys/sysmacros.h>
 
 
 
--- a/VirtualBox-5.1.20/src/VBox/Main/src-server/linux/USBGetDevices.cpp        2017-01-17 08:27:23.000000000 +0100
+++ b/VirtualBox-5.1.20/src/VBox/Main/src-server/linux/USBGetDevices.cpp        2017-01-18 12:53:29.159127214 +0100
@@ -46,6 +46,9 @@
 #include <linux/usbdevice_fs.h>
 
 #include <sys/types.h>
+#define __USE_EXTERN_INLINES
+#include <sys/sysmacros.h>
+
 #include <sys/stat.h>
 #include <sys/vfs.h>
 
--- a/VirtualBox-5.1.20/src/VBox/Main/src-server/linux/HostHardwareLinux.cpp   2017-01-17 08:27:23.000000000 +0100
+++ b/VirtualBox-5.1.20/src/VBox/Main/src-server/linux/HostHardwareLinux.cpp        2017-01-18 13:01:49.499146003 +0100
@@ -64,6 +64,9 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <sys/types.h>
+#define __USE_EXTERN_INLINES
+#include <sys/sysmacros.h>
+
 
 
 /*********************************************************************************************************************************