#! /bin/sh
exec ssh -4 "$@"