Make the verbose output of build_all.py optional.