support a non-standard SSH port