switch to external jedi plugin