On 17/03/2013 21:12, Michael Gilbert wrote: > Is there any reason not to apply Andreas' patch to fix this now? Yes, see message #49: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=667526#49 I can still apply it if the release team thinks that it is better than the current state. Sylvestre