- bison3 patch requires bison >= 1.875