rename Eof -> EOF to match token name