Use curl instead of wget to download things