Add GNOME Shell 3.12 as compatible