A minumum working example to reproduce a bug in GtkMenu