Fix a bug of setup.sh.