fixes to setup.sh