improvements to the bootstraping dotfiles script, plus some housekeeping