[GiNaC-list] [PATCH] ginsh: really reject non-GNU readline [Was: Installation ginac(1.4) ...]