Use curl instead of wget for sourceforge downloads
Previously the setup-env.sh script would fail when the file was already downloaded