Hmm, I discovered yesterday that it has started to work - probably after some Debian unstable daily updates. So not reproducible any more.
-- Meelis Roos ([EMAIL PROTECTED]) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
