Pascal Volk <user@localhost.localdomain.org> wrote: > Oder gibt es eine bessere Lösung? Die beste Loesung ist IMO einen Bug report zu versenden, falls dies nicht schon geschehen ist (wie in diesem Fall) und zu warten bis der Maintainer den Fehler behebt. Christoph