bugfix in setup.sh file