Fix SETUP.bash paths