Enhance fix of 0b81a300d9e7cf78b6bc11d8c870f57fa81fcdc4.
[mmh] / config /
drwxr-xr-x   ..
-rw-r--r-- 1660 Makefile.in
-rw-r--r-- 5178 config.c
-rwxr-xr-x 736 version.sh