Better copying of  tsc.js/lib.d.ts.