Follow changes in setup.sh

see 0e3141a11f84e57bc034361f6886ff2e874dc2d8