Comment 6 for bug 1734748

I can avoid the problem by doing the following change. I used trunk 8508.

=== modified file 'src/wui/game_main_menu_save_game.cc'
--- src/wui/game_main_menu_save_game.cc 2017-11-05 19:59:33 +0000
+++ src/wui/game_main_menu_save_game.cc 2017-11-28 20:50:38 +0000
@@ -132,8 +132,8 @@
        ok_.set_enabled(load_or_save_.table().selections().size() == 1);
        load_or_save_.delete_button()->set_enabled(load_or_save_.has_selection());
        if (load_or_save_.has_selection()) {
- const SavegameData& gamedata = *load_or_save_.entry_selected();
- filename_editbox_.set_text(FileSystem::filename_without_ext(gamedata.filename.c_str()));
+ std::unique_ptr<SavegameData> gamedata = load_or_save_.entry_selected();
+ filename_editbox_.set_text(FileSystem::filename_without_ext(gamedata->filename.c_str()));
        }
 }