Hi, did 502110 ever make it to the list? It went totally unnoticed. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=502110 The bug report didn't get any answer on the upstream list and the patch is neither in the development sources nor in the stable tree. Thomas