These are the dotfiles that I use