Comment 7 for bug 1380048

The state of thing: I can start a game and play, no problem. I have also tested starting a LAN game and loading a replay.

However, when I exit Widelands, I get a segfault, and changed options aren't written. I also get to see this when leaving Widelands:

*** Error in `./widelands': free(): invalid pointer: 0x00007fa7abce75fd ***

How do I track this down?