dotfiles managed by vcsh