Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision 79ae36ddc409577eb0da3750b3a7280e034566a2)
+++ kernel/generic/src/ipc/kbox.c	(revision 00a8f1b5bbb2bdb8f3cac63fc23b4c833ae23f12)
@@ -33,9 +33,8 @@
  */
 
-#include <synch/synch.h>
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
 #include <ipc/ipc.h>
-#include <ipc/ipc_methods.h>
+#include <abi/ipc/methods.h>
 #include <ipc/ipcrsc.h>
 #include <arch.h>