making the jedi plugin external