I've reported this as a bug in Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818415 and got the maintainers approval.
I've reported this as a bug in Debian: https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 818415 and got the maintainers approval.