optionally remove Jedi dependency