Hoi Willem, Dank je, ik heb alle opmerkingen overgenomen. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=663555 Groeten, -- Jeroen Schot