minix/benchmarks/unixbench-5.1.2/Makefile.inc