Fix a mistake in build.sh