--- kernel/bsd/kern/kern_exec.c	2018/04/24 18:26:01	1.1
+++ kernel/bsd/kern/kern_exec.c	2018/04/24 18:27:35	1.1.1.2
@@ -121,6 +121,11 @@
 #include <sys/uio.h>
 #include <sys/acct.h>
 #include <sys/exec.h>
+
+#if KTRACE
+#include <sys/ktrace.h>
+#endif
+
 #include <mach/exception.h>
 
 #include <sys/signal.h>