need to build mono-addins *after* gtk-sharp