fix jedi setup