elfsect: fix test and added a header comment to generated files