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
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