Fix jedi:toggle-debug-server