Fix shortcut conflict of these plugins with SublimeLinter