Fix a bug in setTarget.sh, again