Reenable webkitgtk (was accidentally disabled in last patch).