We "re-use" the same vendored tarball filename for now as lucetc has not been used previously anyway.