Well, the modification date is off because my Linux box is, sadly, two days slow. It still says it's Tuesday. So I think you have the right file.

Does yours at least say "v0.983" when it starts up instead of 0.97 or 0.98? I've been updating the version string.

I think I'm going to junk this whole read from config.ini strategy in favor of command-line arguments real soon. This just isn't worth it... Would anyone have a problem passing in arguments instead of editing the config.ini?