Make use of default_font_file().