We can close this one. After doing a dist-upgrade, the problem has magically disappeared.
-- Patrick Cole Email z...@amused.net Phone 0410626630 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org