Set installation version of jedi