Ah. But like I said, you can always redirect using the funny Bash-ism. Even without it, you could just use /dev/fd/1 (a synonym for stdout) although if other processes are sharing that open it could be slightly strange.