Several updates to dotfiles