update printJSTDdeps.sh name