* Applied wesley.craig@umich.edu's KPOP patches. According to him:
[mmh] / zotnet / mf /
drwxr-xr-x   ..
-rw-r--r-- 1194 Makefile.in
-rw-r--r-- 16981 mf.c
-rw-r--r-- 1470 mf.h