Install GNOME advanced settings tool in Ubuntu 12.04