alter config, add jedi plugin