Re: [GiNaC-list] issues with ginac-1.6.0