modified how settings.ini works

Needed to modify how the settings.ini work because the file is not
ignored even after adding it to the .gitignore file, while it is still
in the repro.
cleaning