gnome-sharp does not recognize gtk#