--- Gnu-Mach/ipc/ipc_port.h	2020/09/02 04:47:16	1.1.1.4
+++ Gnu-Mach/ipc/ipc_port.h	2020/09/02 04:49:43	1.1.1.5
@@ -43,7 +43,7 @@
 #include <mach/kern_return.h>
 #include <mach/port.h>
 #include <kern/lock.h>
-#include <kern/macro_help.h>
+#include <kern/macros.h>
 #include <kern/ipc_kobject.h>
 #include <ipc/ipc_mqueue.h>
 #include <ipc/ipc_table.h>