Bug#667061: gnome-shell fails to load segfaulting

[Romain Couturat]

I could not use bugreport then.
It's not necessary anymore, as the last update resolved my problem.
Thanx, nice job.