python/machine: use socketpair() for console connections