fix build.sh (hopefully right this time!!)