Der Technische Kundendienst kann da leider nichts fixen.
Auf einen Patch warten ist tatsächlich das einzigste was du machen kannst.
Evtl. bringt es aber was, wenn du diesen Fehler im Bug Report Forum meldest, viellleicht wird er prorisiert bearbeitet wenn es genug Meldungen davon gibt: