Thanks a lot for the patch. It does indeed work perfectly. Because the package is completely broken at the moment, I suggest using this patch for the time being until a better alternative has been found. -- Greetings, Joris
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org