On Jul 6, 2:09am, Vincent Lefevre wrote: } } I've reported the bug on the Debian BTS: } } https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=753906 Does that actually help? Will they fix it without an upstream patch?