Remove another obsolete port conflicting with GNOME3