Re: [GiNaC-list] Problem of installing ginac on mac os