fix gen-files.sh to degrade gracefully to plain-old sh
-rw-r--r-- 122 config.todo
drwxr-xr-x - debian
drwxr-xr-x - files
drwxr-xr-x - python
drwxr-xr-x - scripts
-rwxr-xr-x 712 setup.py