Any news about http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537009 ? Is anyone there working on that? -- Francesco P. Lovergine