Re: wcmd: Fix redirecting a pipe to another pipe