Use TypeScript 1.3