2014-04-18 version 9 - update to gnome shell 3.12