[do_build.sh] be less verbose, and don't try to build source-info.json when not building the source iso