Scripts to customize the Gnome Flashback mode under Ubuntu Gnome 14.04