* ./toolbox: removed code from bootstrap that wasn't related to the
    bootstrapping sequence and put it here.