Enable to use Ctrl-R on mysql command which is compiled with libedit