Hello, I think it's a good idea to make things changed so I filed the following bug report: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=587482 We will see if an acceptable solution can be found. Regards Pompee William