webkitgtk3 corrections, not uploaded
thus not compatible with this version