On Oct 3, 2011, at 3:20 PM, mrivera wrote: > 2.4.3 No, you misunderstand. Which bison gets run when you type: bison in the Terminal--the one in /usr/bin or the one in /usr/local/bin? That's what: which bison tells you. Chip