well, apparently my intended reply resulted in a new bug report thread.
anyway, here i've sent a patch for fixing this:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1031196

Reply via email to