update for build-linux.sh