Fix process007 with dash as /bin/sh

dash doesn't support 2-digit FD numbers with the 0<&10 syntax, and
some ways were using FDs that high. So now we have a little C program
to do the job instead.