Further customizations for dotfiles