bison 3.x fix for webkitgtk2