Add DejaVu font and use it when possible