Reported it to debian in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749895, submitting a patch there to fix the issue.
Reported it to debian in https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 749895, submitting a patch there to fix the issue.