extra/webkitgtk fix