Pooh: trick of passing location info from yylex did not work with newer version of
bison.