[Bug 112846] GNOME menu is not updating after an application is installed.