Update.
Der Button zum Auswählen eines externen Dekoders in den Einstellungen sollte jetzt funktionieren.