for both wget and curl