Fix run_bootstrap.sh