Matthias Bodenbinder <matthias@bodenbinder.de> wrote: > What is going wrong here? Any idea? Possibly https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=849382 Grüße, Sven. -- Sigmentation fault. Core dumped.