A push parser doesn't exist for flex, so here's the switch to a
reentrant bison pull parser.