Re: [GiNaC-list] where is ginac-config?