This enables us to build with gtk-sharp 2.12.9.90 instead of current trunk (which will be released together with GNOME 3.0 or similar).