This file should be skipped by genllheaders.py script