/desktop/libs/gtkhtml/patches/