Riprendo la discussione dopo un mese per dirvi che finalmente ho segnalato il bug: http://www.mail-archive.com/debian-bugs-dist@lists.debian.org/msg962412.html oppure: querybts 649885