Recompiled because of renaming of tc.js to tsc.js