Mod: pylexer.py to work with yacc generated header file