>gulp doesn't even have a clean one liner for copying one file to a different location with a different name
??
gulp.src("srcfile")
.pipe(rename("destfile"))
.pipe(gulp.dest("destloc"));