Re: [GiNaC-list] Re: ginac installation