Fixing Mono.Addins.Gui for Gtk 3.0