Make jedi config more robust.