changed from readline_alternative to standard readline