Hi Kurt, thanks for the report. I traced the bug down to this: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=456721 When we fix that, we'll upload a new revision. Ondrej