this system is ubuntu 18; it looks like newer version of repo than the one from apt have more tolerance for quirks. found https://storage.googleapis.com/git-repo-downloads/repo-1 from stackoverflow, replaces /usr/bin/repo