fix gen-files.sh to degrade gracefully to plain-old sh