Refresh of Xfce's gtk-theme (possibly for 4.12)