File mintmenu_executables.patch of Package mintmenu

diff -upr mintmenu-orig/usr/bin/mintmenu mintmenu/usr/bin/mintmenu
--- mintmenu-orig/usr/bin/mintmenu	2013-03-04 13:53:09.000000000 +0100
+++ mintmenu/usr/bin/mintmenu	2013-03-18 17:38:10.839416163 +0100
@@ -10,4 +10,4 @@ if len(sys.argv) > 1:
         os.system("rm -rf ~/.linuxmint/mintMenu")
         print "All mintMenu settings are now restored to default"
 else:
-    os.system("/usr/lib/linuxmint/mintMenu/mintMenu.py")
+    os.system("/usr/share/linuxmint/mintMenu/mintMenu.py")