fix jedi crashes with non-ascii path