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