--- VirtualBox-5.1.30/src/VBox/Main/src-server/linux/HostHardwareLinux.cpp
+++ VirtualBox-5.1.30/src/VBox/Main/src-server/linux/HostHardwareLinux.cpp
@@ -64,6 +64,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <sys/types.h>
+#include <sys/sysmacros.h>
 
 
 /*********************************************************************************************************************************
--- VirtualBox-5.1.30/src/VBox/Main/src-server/linux/USBGetDevices.cpp
+++ VirtualBox-5.1.30/src/VBox/Main/src-server/linux/USBGetDevices.cpp
@@ -47,6 +47,7 @@
 
 #include <sys/types.h>
 #include <sys/stat.h>
+#include <sys/sysmacros.h>
 #include <sys/vfs.h>
 
 #include <dirent.h>