[GiNaC-list] Re: I could not find libreadline