runcmd: use a pipe for stdin to child processes