Install MintMenu 5.5.2 in Linux Mint 17