Adds copyright header to post_install

@pdehaan r?