use new GtkBuilder API