`libreadline` vs `readline`