Make mkfiles.pl less tied to PuTTY in particular, by inventing new
[u/mdw/putty] / contrib /
drwxr-xr-x   ..
-rwxr-xr-x 5364 kh2reg.py