gen.sh: prepare built-binaries/ and fix filenames.
Update generated binaries.