[PATCH v10 14/25] net-lwip: lwIP wget supports user defined port in the uri, so allow it.