Port from gtkmm 2 to gtkmm 3