Re: [GiNaC-list] Re: problem installing GiNaC from CVS (Linux/x86_64)