Re: tarballs vs ABI xml files in dist-git.