Fix jedi:server-args with omelette.