Re: [GiNaC-list] Problem with linking ginac