ok, das klingt gut. Aber von einer Distribution wie Ubuntu würde ich erwarten dass so ein Bug gefixt wird ohne ein ppa einbinden zu müssen