GNOME support utilities
