Modified BAT_make_wrapper.sh.in to be compatible with dash on Ubuntu.