Install VirtualBox launcher in Cinnamon on Linux Mint 14 or 13