use mf_filename to generate metafont filename for font