Re: [PATCH 02/15] net: wget: let wget_with_dns work with dns disabled