Use Readline instead of Editline