minor change in buildv8.sh script