Fix bootstrap.sh