[Bug 1135401] gnome-shell: Clutter.txt has been already deallocated — impossible to access it.