small fix
fix bootstrap-extra.sh