Yes, you've identified the problem. A version of bash was accidentally released nonoptimized - I was trying to trace down a bug and left out the -O symbols. I've since had to maintain readline's unoptimized state for binary compatibility. Luckily, a new major version of readline was recently released, which demands an soname change anyway. So I can now solve this problem. Guy