Update Preferences.sublime-settings for compatibility with the SublimeLinter plugin