Readline from bash 1.14.3 + local fixes