small fix in bootstrap-extra.sh