Re: [GiNaC-list] libstdc++5 vs 6