Re: [GiNaC-list] GiNaC vs non-GNU readline