Re: [PATCH 3/5] ws2_32: Drop support for getting the IP_HDRINCL socket option