bug in setup_dotfiles