Use correct repo in bootstrap.sh