build_stage3.sh: mix it up a bit