socket-util: closesocket() for Windows.