windows.winsock: the servent structure is different between 32-bit and 64-bit.