Use DejaVu Sans Mono
add jedi option