Re: [PATCH v3 2/4] ws2_32: Drop support for getting the IP_HDRINCL socket option