ignore jedi files