fd2ddee727d1 ("tools headers: Update tools's copy of socket.h header")