Hier het (volgens mij) bij ons probleem horende debian bugreport: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=784070 Raar dat zo'n kritisch probleem nog steeds bestaat...