Use the current version of `setup.sh`

Damn. I didn't do that. But I run it locally against `devel`, so everything's alright.