fix bootstrap-extra.sh