Christoph Leuzinger <christoph.leuzinger at cs.uni-dortmund.de> wrote: > The attached patch fixes this build problem for me. I just noticed the Bro 1.4 pre-release posted on this list. The patch applies to that release, too. Regards, Christoph Leuzinger