script/generate_files.sh: ehm... fix for previous fix