move mysql56 back to libedit