webkitgtk: repair build.