Fix bootstrap.sh.