Save settings to file when booting a game.

Fixes issue 6310.