modify the gfxfont.h file