r-three/git-theta not found