Fix file header line for package.e compatibility