use curl instead of wget in setup.sh, fixes #393