--- Gnu-Mach/ipc/ipc_target.c	2020/09/02 04:36:56	1.1
+++ Gnu-Mach/ipc/ipc_target.c	2020/09/02 04:45:02	1.1.1.2
@@ -22,7 +22,7 @@
  *	representing a target of messages and migrating RPCs.
  */
 
-#include "sched_prim.h"
+#include <kern/sched_prim.h>
 #include "ipc_target.h"
 
 void