Shantonu did his commit in the wrong order earlier today, making configure get
[mmh] / zotnet / mf /
drwxr-xr-x   ..
-rw-r--r-- 1344 Makefile.in
-rw-r--r-- 16981 mf.c
-rw-r--r-- 1470 mf.h