What is the problem? That IS the default font. If you want to change it, open the default.c (in the folder includes), there you find a panel called def_debug_pan with a lots of digits(...); Remove the "*" and set there your font.
Edit: welcome to the forum...
Thanks. I didn't think I'd have to explain it, if you look closely you can see the font is shifted up and right 1 pixel, the shaved off bits appear on the opposite side (ie notice the white lines to the top and left of most letters).
Your solution, however, seems to work fine.