Minor change of bootstrap.sh