fix GNUReadline for segfault on PHP5.7 w libedit