new jedi version also in sub repository