What is the state of the win32 headers? Is there any place where I can get win32 headers including winsock2?