Fix setup.sh: Bash subtleties...