ssh pipelining + tty, use python -c