I should not remove the settings.ini file or the earlier Mapsi versions (should I wish to downgrade to them) won't work?