Error when linked to real readline ... type(readline.__doc__) is NoneType