Add back GNOME-Shell 3.4 support