some hacks on webkitgtk