makefile now generates a header file for yacc.