Revert "Repair settings-file name"