Rename of webkitgtk4 to webkit2gtk3