minix3/commands/mined/mined2.o