fixed the getaddrinfo problem by building against libc++