YY_FATAL_ERROR always calls abort() - hopefully coverity notices