#1064: remove dist-f9-override tag for gtk-sharp2