minor changes to bootstrap to fetch git repos. minor changes elsewhere.