get rid of warning from bison

Merged Wuttke, Joachim requested to merge bison into master

Requires Mac to be updated from bison2 to 3.

Merge request reports