more stuff in dotfiles