webkitgtk3: version bumped to 2.4.2.