Formerly mach/hurd/Makefile.~6~