... and I don't think it is the same bug as http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=521663 .
... and I don't think it is the same bug as http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 521663 .