Infinity pointed me to both the Debian bug (already linked) and to the fix see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=730321). Given time, I will package it.
Infinity pointed me to both the Debian bug (already linked) and to the fix see https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 730321). Given time, I will package it.