Make bash/completion.sh use the $DOTFILES variable.