So I don't think your proposal (defining d_getaddrinfo and others) could change anything regarding the problem
Aaah ... yes ... I think that's right. As I noted at the end of my Socket bug report, the bug I reported there is in the config settings, not the Socket module.
Sorry for the interference ... I'll leave you in peace to get on with it.