I didn't really think it could be the cause of that bug, just checking.
And the rest? what config are we talking about? The updater does not seem to have any command line switches, at least -h and --help do nothing.
I have little interest in downloading several hundred megabytes to fix a problem that is far smaller. I guess I can just ignore it because the game runs although subject to those frequent nan-crashes.
Any other suggestions or further information about this? Should I file a bug about configuration desynchronization although I have little info about it? is there already a bug on the tracker I could look at?