setup.sh: remove duplicate "echo"