[GiNaC-devel] Index renaming in Ginac 1.6.0