Fix bug in bootstrap.sh