build.sh: actually build the ISO.