Menta: more adjustements for GTK3-3.14