minor fix for v142.sh script