Used dotfiles.py from origin/master, not master