diff --git a/libports/src/lib/libc_rom/plugin.cc b/libports/src/lib/libc_rom/plugin.cc
index bd7d01560c..6be47eeb23 100644
--- a/libports/src/lib/libc_rom/plugin.cc
+++ b/libports/src/lib/libc_rom/plugin.cc
@@ -11,6 +11,12 @@
  * under the terms of the GNU General Public License version 2.
  */
 
+/* Genode includes */
+#include <os/attached_rom_dataspace.h>
+#include <util/misc_math.h>
+#include <base/printf.h>
+#include <base/env.h>
+
 /* libc plugin interface */
 #include <libc-plugin/plugin.h>
 #include <libc-plugin/fd_alloc.h>
@@ -20,13 +26,6 @@
 #include <errno.h>
 #include <string.h>
 
-/* Genode includes */
-#include <os/attached_rom_dataspace.h>
-#include <util/misc_math.h>
-#include <base/printf.h>
-#include <base/env.h>
-
-
 namespace {
 
 	/**