Dear Vincent, thanks to your hint it's working again. I had a years-old manual installation in my local tree which I could not remember at all. For some reasons I don't know it was "re-activated" during my system actualisation.
Once more, thanks for helping so fast. How can I close this thread? Harald -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
