Start working through proper handling of pthreads when
debugging Linux core dumps.  Pthreads for active processes
is still not supported, nor are other systems.
diff --git a/src/libmach/mkfile b/src/libmach/mkfile
index 53d1af9..a6d6507 100644
--- a/src/libmach/mkfile
+++ b/src/libmach/mkfile
@@ -43,7 +43,7 @@
 	symstabs.$O\
 	ureg386.$O\
 
-HFILES=mach.h
+HFILES=$PLAN9/include/mach.h
 
 <$PLAN9/src/mksyslib
 CFLAGS=$CFLAGS -I.