Am 03.07.2013 18:05, schrieb Martin Waschbüsch: > Ok, so I'll report this as a bug, explain what I did to make it > work and point out we know it is just a band-aid and in no way a > fix for whatever is the root cause here. > > Martin bug filed as #714959 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714959