Remove obsolete port that Gnome3 replaces