siegeengine: add GNOME 3.12 stuff to local config