webkitgtk: Fix configure options.