genfiles.sh: Didn't like printf much