Compare DejaVu Sans Mono Bold with a local font to see what characters are added/missing.
Let me know if you find any problems.
