Added patch to try harder to get the host name address in getaddrinfo().