This one can be closed now, right? See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=931825 (which really looks like the same bug to me - and it has been closed). best -- Andreas Rönnquist gusnan at debian.org