redefine YY_BUF_SIZE