another bootstrap.sh fix