Smoothly GTK3: update to GTK-3.12, upstream changes from 2014-10.02