time make -f /usr/local/lib/tex/fonts/Makefile "MF=time /usr/local/bin/mf" $*