It seems, that my web bug report did not go through, so I am posting link to my bug report (and proposed fix) in debian bug database: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=444685