/fonts/semaphor/metafont/