Io proverei con gtkhtml, se non altro deve sicuramente essere più semplice da compilare