add "Bitstream Vera Sans Mono" and "DejaVu Sans Mono"