gnome-shell 3.12: fix at_spi2_core argument