Defaulting forwarded ports for SSH as random int