fix ToTypeScript.sh