minor change to Preferences.sublime-settings, adding SublimeLinter.sublime-settings