revert webkit-gtk