noreply@alioth.debian.org wrote: > see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877165, especially > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877165#36 :) Welcome to the jungle. ;) - Fabian