Fix building against older webkitgtk versions.