Remove dependency on readline -- it does not get used, contrary to what a comment (which has now been annotated) here says.