We can't hard-code DOTFILES anymore.