finally, copy_dotfiles.py