diff --git a/common/include/villas/kernel/devices/ip_device_reader.hpp b/common/include/villas/kernel/devices/ip_device_reader.hpp
index c84ab526f..341049bae 100644
--- a/common/include/villas/kernel/devices/ip_device_reader.hpp
+++ b/common/include/villas/kernel/devices/ip_device_reader.hpp
@@ -25,8 +25,7 @@ public:
     std::vector<villas::kernel::devices::IpDevice> devices;
 
     const std::vector<std::string> devicetree_names =
-        villas::kernel::devices::utils::read_names_in_directory(
-            devices_directory);
+        villas::kernel::utils::read_names_in_directory(devices_directory);
     for (auto devicetree_name : devicetree_names) {
       auto path_to_device =
           devices_directory / std::filesystem::path(devicetree_name);