Fix #13776: Add banner before generating source map. Close gh-1246.