setgtk.py: added entry for webkit