libreadline is optional