bootstrap: changing location of tools repo