Use `curl` rather than `wget`