Catch up with jedi dev
path may be None