OK, I think that I found and fixed the problem. As Thomas pointed
out, the configure script is not wrong. The problem turned out to be
the foreign import for "getnameinfo" (this was the missing symbol).
So it was the name mangling! Great, thanks for the patch. It's applied.