Readline from bash 1.14.5 + local fixes