Fix build.sh to work on Ubuntu's default shell