* Fixed some GNOME build problems