Install GNOME Shell 3.8 in Linux Mint 15