Correction to previous commit, 704bdde497da69854846d51d86c440fc980c5489,
[mmh] / config /
drwxr-xr-x   ..
-rw-r--r-- 8054 config.c
-rwxr-xr-x 747 version.sh