ya différents patchs qui trainent ici et là (cf https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=511121#27 ), mais rien d'officiel. Je ne m'y suis jamais risqué.