Everything is working now. Essentially, this was the same bug as this one: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=287933 which was closed some weeks ago.
cheers -simon -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
