Use regular host names with ssh, but provide IPv4 fallbacks for IPv6-only hosts