Bei mir funktioniert o.g. Version unter Ubuntu 19.04 nicht. 1250 funktioniert dagegen hervorragend.
libwebkitgtk konnte in den installationsquellen nicht gefunden werden.
Ich muss zugeben, dass ich mich nicht Stunden mit der Fehlersuche beschäftigt habe. Wäre schön, wenn es demnächst Paketquellen gäbe für GRT.
Der Linux-Fuchs