header file changes to catch up with gtkmm-2.24.3