[PATCH v8 16/23] net-lwip: lwIP wget supports user defined port in the uri, so allow it.