libIDL 0.8.12: * Fix the build with bison 2.4