Another bootstrap.sh fix