fixup! Switch from gitclone to download .tar