Fix bug due to old Bison version on OSX