No need to explicitly construct labels as children of buttons.
GtkButton does that for us, if we only set the label property.