webkitgtk: try to fix cross build.