fix ToTypeScript.pl