rm some magic numbers in ssh_setup_portfwd()