Re: issue saving a game

[Simon Waters]

I can always reproduce in Debian packaged 6.2.5, but not in 6.2.7 from source.

I'll check the build options if I get more time. or probably just build 6.2.7 
using the Debian source package, so it is built with the same options, unless 
Antonio thinks there is relevant changes.