Adapt the code for webkitgtk 2.5.x and require it