added most recent *working* version of webkit-gtk