Turn off Mint GNOME Shell Extensions in Linux Mint 12