use hot patched gulp-typescript