[PATCH 1/1] net: lwip/wget: correct SERVER_NAME_SIZE