--- Gnu-Mach/kern/mach4.srv	2020/09/02 04:36:56	1.1.1.1
+++ Gnu-Mach/kern/mach4.srv	2020/09/02 04:41:08	1.1.1.2
@@ -21,6 +21,8 @@
  */
 /* This is a server presentation file.  */
 
+#include <mach_pcsample.h>
+
 #define KERNEL_SERVER 1
 
 #ifdef MIGRATING_THREADS