small gtk3.12 fix