* src4minix/testminix.sh: new