minix/minix/servers/Makefile.inc