On 06/28/2013 07:26 AM, Thérèse Bonin wrote: > > Thanks for any insight you can offer. That is a bug in the 32-bit linux binary, and it will be fixed in the next release (to be released soon, probably next week). There is no possible workaround for the 32-bit binary, but maybe your system can run the 64-bit version instead? Best wishes, Taco