exclude gnome-specific menu items