Re: [GiNaC-list] ginac-config woe