getaddrinfo.h: handle undefined EAI_NODATA