Could you please close this bug, I reported it to Debian directly. You
can find it under #955825 [1]. Thank you.


[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=955825