Fix jedi install