Yes I can confirm that doing this will solve the problem :)
On Saturday, March 22, 2014 11:29:50 AM UTC+1, Michael Hatherly wrote: > > Update on the problem: > If you add *USE_SYSTEM_READLINE=1* to your *Make.user* file and then run > *make > cleanall* it should resolve this issue. This is mentioned in the README. >