Use default lib.d.ts.