diff --git a/common/include/villas/kernel/vfio_container.hpp b/common/include/villas/kernel/vfio_container.hpp
index 17b48853e..06dfc333e 100644
--- a/common/include/villas/kernel/vfio_container.hpp
+++ b/common/include/villas/kernel/vfio_container.hpp
@@ -18,7 +18,7 @@
 #include <linux/vfio.h>
 #include <sys/mman.h>
 
-#include "vfio_group.hpp"
+#include <villas/kernel/vfio_group.hpp>
 
 namespace villas {
 namespace kernel {
diff --git a/common/include/villas/kernel/vfio_device.hpp b/common/include/villas/kernel/vfio_device.hpp
index f275a839b..15853da9f 100644
--- a/common/include/villas/kernel/vfio_device.hpp
+++ b/common/include/villas/kernel/vfio_device.hpp
@@ -19,7 +19,7 @@
 #include <linux/vfio.h>
 #include <sys/mman.h>
 
-#include "pci.hpp"
+#include <villas/kernel/pci.hpp>
 #include <villas/log.hpp>
 
 #define VFIO_PATH	"/dev/vfio/"
@@ -93,6 +93,7 @@ private:
 
 	Logger log;
 };
+
 } /* namespace vfio */
 } /* namespace kernel */
 } /* namespace villas */
diff --git a/common/include/villas/kernel/vfio_group.hpp b/common/include/villas/kernel/vfio_group.hpp
index e9c831847..25d28fadd 100644
--- a/common/include/villas/kernel/vfio_group.hpp
+++ b/common/include/villas/kernel/vfio_group.hpp
@@ -18,7 +18,7 @@
 #include <linux/vfio.h>
 #include <sys/mman.h>
 
-#include "vfio_device.hpp"
+#include <villas/kernel/vfio_device.hpp>
 #include <villas/log.hpp>
 
 namespace villas {