[PATCH 0/1] MR4035: use bison -d for both header and c files