Everybody who reads only this bug report, please consider my workaround
mentioned in bug 833532:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=833532#50

Reply via email to