Hi, The bug seems to be fixed as the linked bug http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=297579 does not report an error any more. Since the bug is merged with a large set of bugs I'm reluctant to close it myself. Baruch