Add jedi-direx