fix small bug in bookmarklet gulpfile
bookmarklet https