gtk_widget_set_margin_end too new as highlighted in #commitcomment-7689638