Sven, thank you for looking at this bug report. You were right, I was stuck between the two debian versions. Thanks to a much more knowledgeable colleague of mine I got out of it, and I'm now happily running etch. Thanks to the Glorious Operating System Debian, and its Dedicated Maintainers. Nino