libreadline is no longer libreadline5