diff -up gnome-shell-3.5.3/src/shell-app-system.c.avoid-redhat-menus gnome-shell-3.5.3/src/shell-app-system.c

--- gnome-shell-3.5.3/src/shell-app-system.c.avoid-redhat-menus	2012-06-25 12:40:06.000000000 -0400

+++ gnome-shell-3.5.3/src/shell-app-system.c	2012-06-26 00:45:55.824232085 -0400

@@ -103,7 +103,7 @@ shell_app_system_init (ShellAppSystem *s

   /* We want to track NoDisplay apps, so we add INCLUDE_NODISPLAY. We'll

    * filter NoDisplay apps out when showing them to the user. */

-  priv->apps_tree = gmenu_tree_new ("applications.menu", GMENU_TREE_FLAGS_INCLUDE_NODISPLAY);

+  priv->apps_tree = gmenu_tree_new ("applications-gnome.menu", GMENU_TREE_FLAGS_INCLUDE_NODISPLAY);

   g_signal_connect (priv->apps_tree, "changed", G_CALLBACK (on_apps_tree_changed_cb), self);

   priv->settings_tree = gmenu_tree_new ("gnomecc.menu", 0);