diff --git a/repos/os/src/init/server.cc b/repos/os/src/init/server.cc
index faf5b2eba..0af8649f1 100644
--- a/repos/os/src/init/server.cc
+++ b/repos/os/src/init/server.cc
@@ -16,7 +16,7 @@
 #include <os/session_policy.h>
 
 /* local includes */
-#include <server.h>
+#include "server.h"
 
 
 /***************************
diff --git a/repos/os/src/init/server.h b/repos/os/src/init/server.h
index 45f0eef0c..8b1d63446 100644
--- a/repos/os/src/init/server.h
+++ b/repos/os/src/init/server.h
@@ -18,10 +18,10 @@
 #include <base/attached_rom_dataspace.h>
 
 /* local includes */
-#include <types.h>
-#include <service.h>
-#include <buffered_xml.h>
-#include <state_reporter.h>
+#include "types.h"
+#include "service.h"
+#include "buffered_xml.h"
+#include "state_reporter.h"
 
 namespace Init { class Server; }
 
diff --git a/repos/os/src/init/state_reporter.h b/repos/os/src/init/state_reporter.h
index cf6bf528d..a009bc2d9 100644
--- a/repos/os/src/init/state_reporter.h
+++ b/repos/os/src/init/state_reporter.h
@@ -19,7 +19,7 @@
 #include <timer_session/connection.h>
 
 /* local includes */
-#include <report.h>
+#include "report.h"
 
 namespace Init { class State_reporter; }