Allow splint to build with bison 3.7

[millert]

The y.tab.c file equivalent now includes the generated header so
we need to update the path in the .c files when renaming the header.

[cooljeanius]

Have you tested this with various different sed variants? BSD sed and GNU sed can sometimes behave differently in cases like these...

[millert]

I only used POSIX sed features, no extensions. Portability issues crop up with things like sed -i (edit in place) and sed -E (extended regex).

[cooljeanius]

I only used POSIX sed features, no extensions. Portability issues crop up with things like sed -i (edit in place) and sed -E (extended regex).

OK, thanks. In that case, LGTM, although I'm just an onlooker, and haven't tested it myself...