changed settings file names

to try to avoid settings-related issues