bugfix in bootstrap.sh