Simplify do_build.sh a little bit by removing the unused '-B' flag.