Re: [PATCH v5 01/14] net: wget: let wget_with_dns work with dns disabled