fixed bug when $DOTFILES was not set up