fix python readline with libedit and readline