update webkit symbols