Uses GTK 3.12 (this time for good)