Fix substitution in setup.sh…