I filed bug#696096 for that - with a suggestion how to proceed. (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=696096) Stephan