Set jedi to use python 3