fix webkit library and add ketchup script