some small fixes related to pre-bootstrapped trees
use new online repos