Use wrapper script for BUILD.sh

BUILD.sh was introduced in last change, and it is expected to be copied
to top-level directory.  However, no mechanism is able to sync the two
copies.  It is better not to change in top-level.