Make jedi and tern work together.