release.sh: use curl when wget is not available