Merge pull request #1956 from jwillemsen/jwi-vxworksgethostbyaddr