Tweak x11-toolkits/gtk-sharp20 version 2.12.10_1