android: re-use intervigil repos, now updated #2