diff --git a/common/include/villas/kernel/devices/platform_driver.hpp b/common/include/villas/kernel/devices/platform_driver.hpp
index 8a4979f75..0fa4350ff 100644
--- a/common/include/villas/kernel/devices/platform_driver.hpp
+++ b/common/include/villas/kernel/devices/platform_driver.hpp
@@ -9,6 +9,7 @@
 #pragma once
 
 #include <fstream>
+#include <filesystem>
 #include <iostream>
 #include <villas/kernel/devices/driver.hpp>
 
diff --git a/common/lib/kernel/devices/platform_driver.cpp b/common/lib/kernel/devices/platform_driver.cpp
index 467d00bb5..2b03025fe 100644
--- a/common/lib/kernel/devices/platform_driver.cpp
+++ b/common/lib/kernel/devices/platform_driver.cpp
@@ -6,11 +6,12 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
-#include <villas/kernel/devices/platform_device.hpp>
+#include <villas/kernel/devices/platform_driver.hpp>
+
+#include <villas/kernel/devices/device.hpp>
 #include <villas/kernel/devices/utils.hpp>
 
-using villas::kernel::devices::PlatformDevice,
-    villas::kernel::devices::PlatformDriver;
+using villas::kernel::devices::Device, villas::kernel::devices::PlatformDriver;
 using villas::kernel::devices::utils::write_to_file;
 
 std::string PlatformDriver::name() const {