open my $remote, "ssh $machine cat '$remote_filename'|"
    or die "Couldn't read $machine:$remote_filename: $!/$?";