add missing copyright headers
Merge pull request #4780

4d04492 add missing copyright headers (Philip Kaufmann)