Add banner to built files. Fixes #442