On 12/16/2014 06:13 PM, Julien Cristau wrote: > I'm pretty sure what you ran into is a different issue, see > https://bugs.debian.org/771943. > > Cheers, > Julien > You're right. It looks more like the bug you mentioned. Best regards, Jochen