install gtkhtml dev