PaX is killing Gnome-Shell