Fix bug in buildall.sh