Ich sehe gerade, dass es für Manjaro Linux keine Daily-Pakete gibt. Und am Paketmanager vorbei etwas installieren möchte ich nicht, denn ich habe zu wenig Ahnung von Linux, um auftretenden Problemen begegnen zu können. Daher halte ich es für besser, abzuwarten, bis der Patch offiziell kommt, statt mit womöglich zu geringer Sachkenntnis herumzudoktern.
Nochmals vielen Dank.