New files need the copyright header.