| Hi, I’ve looked at this tentatively and the issue is rather in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=910841 As mentioned in a reply, https://lists.debian.org/debian-qa/2015/08/msg00015.html gives an overall plan of what needs to be done. Abdelhakim |