On 29/01/2014 09:42, Greg Clayton wrote: > You will need to update the installed libedit on your machine. "libedit" is the line reader program we use to get commands and the default version on most linux's is quite old and out of date. > > Ubuntu saucy (13.10) has libedit v3.1-20130712. Not sure it is the issue here... Sylvestre