Fix #13776: Add banner before generating source map. Close gh-1246.
(cherry picked from commit 9d16fe6283667396094d49559a37fc672c06252c)