This (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537944) looks like a duplicate of http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=550179, and should be fixed by that? Tom