You just have to install the GNU Mach header files. I think running `make install -k' in the GNU Mach directory will do this. Oh, you're drunk, you're drunk you silly old fool... make -k install, options first, target last. :)